Some Thoughts and a Proposal in the Philosophy of Mathematics

The paper outlines a project in the philosophy of mathematics based on a proposed view of the nature of mathematical reasoning. It also contains a brief evaluative overview of the discipline and some historical observations; here it points out and illustrates the division between the philosophical dimension, where questions of realism and the status of mathematics are treated, and the more descriptive and looser dimension of epistemic efficiency, which has to do with ways of organizing the mathematical material. The paper’s concern is with the first. The grand tradition in the philosophy of mathematics goes back to the foundational debates at the end of the 19th and the first decades of the 20th century. Logicism went together with a realistic view of actual infinities; rejection of, or skepticism about actual infinities derived from conceptions that were Kantian in spirit. Yet questions about the nature of mathematical reasoning should be distinguished from questions about realism (the extent of objective knowledge– independent mathematical truth). Logicism is now dead. Recent attempts to revive it are based on a redefinition of “logic”, which exploits the flexibility of the concept; they yield no interesting insight into the nature of mathematics. A conception of mathematical reasoning, broadly speaking along Kantian lines, need not imply anti–realism and can be pursued and investigated, leaving questions of realism open. Using some concrete examples of non–formal mathematical proofs, the paper proposes that mathematics is the study of forms of organization—-a concept that should be taken as primitive, rather than interpreted in terms of set–theoretic structures. For set theory itself is a study of a particular form of organization, albeit one that provides a modeling for the other known mathematical systems. In a nutshell: “We come to know mathematical truths through becoming aware of the properties of some of the organizational forms that underlie our world. This is possible, due to a capacity we have: to reflect on some of our own practices and the ways of organizing our world, and to realize what they imply. In this respect all mathematical knowledge is meta-knowledge; mathematics is a meta-activity par excellence.” This of course requires analysis and development, hence the project. The paper also discusses briefly the axiomatic method and formalized proofs in light of the proposed view. 1. Different Dimensions in the Philosophy of Mathematics There is a grand tradition in the philosophy of mathematics, stemming from the first three or four decades of the last century. At that time key figures, such as Frege, Russell, Whitehead, Hilbert, Poincaré, Weyl, Brouwer, to mention some, worked out and debated